On tadpole relations via Verdier specialization
نویسندگان
چکیده
منابع مشابه
Verdier Specialization via Weak Factorization
Let X ⊂ V be a closed embedding, with V r X nonsingular. We define a constructible function ψX,V on X, agreeing with Verdier’s specialization of the constant function 1V when X is the zero-locus of a function on V . Our definition is given in terms of an embedded resolution of X; the independence on the choice of resolution is obtained as a consequence of the weak factorization theorem of [AKMW...
متن کاملVerdier octahedra on the same base
We show by an example that in a Verdier triangulated category, there may exist two mutually nonisomorphic Verdier octahedra containing the same commutative triangle.
متن کاملNonisomorphic Verdier Octahedra on the Same Base
0 Introduction 7 0.1 Is being a 3-triangle characterised by 2-triangles? . . . . . . . . . . . . . . . . . . . 7 0.2 Is being an n-triangle characterised by (n− 1)-triangles? . . . . . . . . . . . . . . . 8 0.3 An appendix on transport of structure . . . . . . . . . . . . . . . . . . . . . . . . . 9 0.4 Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 ...
متن کاملProgram Specialization via Program Slicing
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is different from the specialization operations performed by algorithms for partial evaluation, supercompilation, bifurcation, and deforestation. To study the relationship between slicing and these operations in a simplifie...
متن کاملExecutable Slicing via Procedure Specialization
Although Weiser originally defined a program slice to be an executable projection of a program, much of the research on slicing has focused on closure slices, which consist of the set of statements and conditions of the program that might affect the value of a given variable at a given statement or condition of interest. While closure slices can be useful, there are some contexts in which execu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Geometry and Physics
سال: 2016
ISSN: 0393-0440
DOI: 10.1016/j.geomphys.2016.01.008